-
1 сеть Петри
Большой англо-русский и русско-английский словарь > сеть Петри
-
2 сеть Петри
-
3 Petri net
Большой англо-русский и русско-английский словарь > Petri net
-
4 petri net
-
5 Petri net
English-Russian dictionary of computer science and programming > Petri net
-
6 petrinet
Англо-русский словарь нефтегазовой промышленности > petrinet
-
7 petrinet
-
8 Petry net
-
9 petrinet
English-Russian dictionary of terms that are used in computer games > petrinet
-
10 petrinet
-
11 Petri net
-
12 petrinet
English-Russian dictionary of Information technology > petrinet
-
13 petrinet
-
14 Petri net
The English-Russian dictionary on reliability and quality control > Petri net
-
15 optical net
-
16 optical net
bag net — сеть — мешок
-
17 Petri
-
18 petri
-
19 Petri
-
20 petri net
сеть Петри
Абстрактный автомат для описания асинхронных алгоритмов в виде ориентированного графа. Используется, например, для представления музыкальных объектов с помощью команд интерфейса MIDI.
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > petri net
См. также в других словарях:
сеть Петри — Абстрактный автомат для описания асинхронных алгоритмов в виде ориентированного графа. Используется, например, для представления музыкальных объектов с помощью команд интерфейса MIDI. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по… … Справочник технического переводчика
сеть Петри — Petri tinklas statusas T sritis automatika atitikmenys: angl. Petri net vok. Petri Netz, n rus. сеть Петри, f pranc. réseau de Petri, m ryšiai: sinonimas – Petri tinklas … Automatikos terminų žodynas
СЕТЬ ПЕТРИ — математическая модель дискретных систем с параллельно функционирующими и асинхронно взаимодействующими компонентами. Предложена немецким ученым К. Петри в начале 60 хгг. Графически С. П. представляет собой двухдольный ориентированный мультиграф с … Энциклопедический словарь по психологии и педагогике
Сеть Петри — … Википедия
ПЕТРИ СЕТЬ — математическая модель дискретных динамич. систем, в том числе информационных систем (параллельных программ, операционных систем, ЭВМ и их устройств, сетей ЭВМ), ориентированная на качественный анализ и синтез таких систем (обнаружение блокировок … Математическая энциклопедия
Сети Петри — Пример сети Петри. Белыми кружками обозначены позиции, полосками переходы, чёрными кружками метки. Сети Петри математический аппарат для моделирования динамических дискретных систем. Впервые описаны Карлом П … Википедия
WF-сети — WF сети подкласс сетей Петри, называемый также сетями потоков работ. Формализм WF сетей введён Вил ван дер Аальстом (англ. Wil van der Aalst) для моделирования потоков работ в workflow системах. Сеть Петри PN = (P,T,F) называется сетью … Википедия
Sequential Function Chart — язык программирования стандарта IEC61131 3. Предназначен для программирования промышленных контроллеров. Широко используется в SCADA/HMI пакетах. SFC графический язык, предназначенный для написания программ последовательного управления… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
SFC — Sequential Function Chart язык программирования стандарта SCADA/HMI пакетах. SFC графический язык, описывающий диаграмму состояний. Аналогом может служить сеть Петри с разноцветными фишками. К каждому состоянию могут быть подключены действия… … Википедия
Конечные автоматы — Конечный автомат в теории алгоритмов математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно.… … Википедия